http://identifiers.org/mgd/MGI:4459899 MGI:4459899 targeted mutation 1.2, Randall S Johnson FIH<delta2> Null/knockout Hif1an<tm1.2Rsjo>